from sympy import symbols, Eq, solve

x = symbols('x')
equation = Eq(x**2 - 5*x + 6, 0)
solution = solve(equation, x)
print(f"方程的解为: {solution}")